Aspect-oriented software development - PDFSEARCH.IO - Document Search Engine

Aspect-oriented software development
Results: 266

#	Item
101	UML4COP: UML-based DSML for Context-Aware Systems Naoyasu Ubayashi Yasutaka Kamei Kyushu University Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2012-10-11 07:24:30 Computing ISO standards Aspect-oriented programming Diagrams Knowledge representation Unified Modeling Language Comparison of C Sharp and Java THE multiprogramming system ECO Software development Aspect-oriented software development Software
102	Specification and Verification of Event Detectors and Responses Cynthia Disenfeld Shmuel Katz Department of Computer Science Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-10-28 08:11:48 Logic in computer science Aspect-oriented programming Formal verification Model checking Grammatical aspect E Formal specification Abstraction Software development Formal methods Aspect-oriented software development
103	Softw Syst Model DOIs10270x R E G U L A R PA P E R A concern architecture view for aspect-oriented Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2006-11-02 02:26:42 Aspect-oriented programming Unified Modeling Language Aspect Software architecture Class diagram Package diagram Cross-cutting concern Stereotype Class Software development Software Aspect-oriented software development
104	Vol. 8, No. 5, July–AugustAn Overview of Feature-Oriented Software Development Sven Apel, Department of Informatics and Mathematics, University of Passau, Germany Add to Reading List Source URL: www.jot.fm Language: English - Date: 2009-07-28 03:27:28 Aspect-oriented software development Software design Project management Feature-oriented programming Feature model Software product line Domain engineering Product family engineering Software development methodology Software development Programming paradigms Software
105	Form Methods Syst Des: 61–92 DOIs10703MAVEN: modular aspect verification and interference analysis Max Goldman · Emilia Katz · Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-31 08:13:05 Aspect-oriented programming Join point Linear temporal logic AspectJ Pointcut Formal verification Model checking Kripke structure Temporal logic Software development Software Aspect-oriented software development
106	Aspect Categories and Classes of Temporal Properties Shmuel Katz Computer Science The Technion Haifa Israel Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2005-11-27 04:16:54 Models of computation Temporal logic UML diagrams Aspect-oriented programming Abstraction Grammatical aspect Kripke structure Programming language Monad Software development Aspect-oriented software development Software engineering
107	Int J Softw Tools Technol Transfer DOIs10009REGULAR PAPER The common aspect proof environment Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-06-27 10:17:59 Aspect-oriented programming Java Pathfinder AspectJ Join point Spring Framework Formal verification Model checking AIDA Programming tool Software development Software Aspect-oriented software development
108	User Queries for Specification Refinement Treating Shared Aspect Join Points Emilia Katz, Shmuel Katz Computer Science Department Technion – Israel Institute of Technology Haifa, Israel Email: {emika, katz}@cs.technion Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-31 08:15:27 Aspect-oriented software development Join point Pointcut AspectJ Spring Framework Advice Monad Actor model Grammatical aspect Software development Software Aspect-oriented programming
109	Publication List: Shmuel Katz • Journal Articles 1. S. Katz and Z. Manna, A closer look at termination, Acta Informatica, 5, December 1975, ppS. Katz and Z. Manna, Logical analysis of programs, CACM, 19, Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2014-05-12 05:45:34 Model checking Software Software development Aspect-oriented software development Web engineering
110	DTrace Boot Camp Adam Leventhal Solaris Kernel Development Sun Microsystems, Inc Add to Reading List Source URL: dtrace.org Language: English - Date: 2010-07-07 14:40:34 Aspect-oriented programming DTrace Adam Leventhal OpenSolaris Solaris X Window System ProbeVue Bryan Cantrill Software Computing Debuggers

UPDATE